Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
571	T H E R E Is N o S O F T W A R E K he Add to Reading List Source URL: raley.english.ucsb.edu Language: English - Date: 2012-09-09 19:33:36 Computability theory Turing machine Alan Turing Models of computation Algorithm Finite-state machine Computer Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
572	Theoretical Computer Science – 366 www.elsevier.com/locate/tcs Adapting innocent game models for the B#ohm tree -theory Andrew D. Ker, Hanno Nickau∗ , C.-H. Luke Ong Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-08-03 11:40:10 Mathematical logic Theory of computation Models of computation Formal methods Lambda calculus Computable function Determinacy Numbering Function Computability theory Mathematics Theoretical computer science
573	Introduction Introduction M.-P. B´ eal et. al. (IGM et al.) Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-10-27 12:41:40 Combinatorics Coding theory Discrete mathematics Combinatorics on words Models of computation Code Prefix code Alphabet Variable-length code Formal languages Automata theory Mathematics
574	Definition of Science: The observation, identification, description, experimental investigation, and theoretical explanation of phenomena. Computational Science What? Add to Reading List Source URL: www.challenge.nm.org Language: English - Date: 2005-10-23 11:45:58 Applied mathematics Models of computation Computational science Computational model StarLogo Mathematical model Mathematics Fortran Scientific modelling Computing Computer programming Software engineering
575	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:28 Theoretical computer science Computability theory Turing machine Recursion Models of computation Lambda calculus Programming language Lisp Computability Software engineering Computing Computer programming
576	Synthesizing Geometry Constructions Sumit Gulwani Vijay Anand Korthikanti ∗ Ashish Tiwari † Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-03-14 07:34:32 Models of computation Compass and straightedge constructions Algorithm Function Circle Lookup table Angle Denotational semantics C Geometry Mathematics Computing
577	DattaKuestersMitchellRamanathan-TCC-2005.dvi Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:20:50 Computing Cryptographic protocols Models of computation Universal composability Turing machine Security parameter Computational complexity theory Actor model Ciphertext indistinguishability Theoretical computer science Applied mathematics Cryptography
578	Fast and Precise Sanitizer Analysis with B EK Pieter Hooimeijer University of Virginia Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-09 19:12:49 Models of computation Computer science Finite state transducer String Regular language Finite-state machine FO Deterministic finite automaton Automata theory Theoretical computer science Formal languages
579	PDF Document Add to Reading List Source URL: darwin.bth.rwth-aachen.de Language: English - Date: 2012-01-17 04:43:03 Configuration graph Determinacy Combinatorial game theory Automata theory Models of computation Finite model theory Game theory Parity game
580	A Lambda Calculus of Incomplete Objects Viviana Bono∗ ∗ ∗∗ Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:29:22 Type theory Data types Object-oriented programming Models of computation Deduction Type system Symbol Subtype polymorphism Lambda calculus Software engineering Computing Logic

UPDATE